<html>
<body>
报告通过类型防护缩小变量类型范围时的变量用法。
请注意，严重性级别不影响此检查。
</body>
</html>